Accessible categories with a class of limits

نویسندگان

چکیده

In this paper we characterize those accessible V-categories that have limits of a specified class. We do by introducing the notion companion C for class weights Ψ, as collection special types colimit diagrams are compatible with Ψ. then Ψ-limits accessibly embedded and C-virtually reflective in presheaf V-category, C-models sketches. This allows us to recover standard theorems locally presentable, multipresentable, polypresentable categories instances same general framework. addition, our theorem covers case any weakly sound provides new perspective on presentable categories.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Limits in modified categories of interest

‎We firstly prove the completeness of the category of crossed modules in a modified category of interest‎. ‎Afterwards‎, ‎we define pullback crossed modules and pullback cat objects that are both obtained by pullback diagrams with extra structures on certain arrows‎. ‎These constructions unify many corresponding results for the cases of groups‎, ‎commutative algebras and can also be adapted to ...

متن کامل

A classification of accessible categories

For a suitable collection D of small categories, we define the D-accessible categories, generalizing the λ-accessible categories of Lair, Makkai, and Paré; here the λ-accessible categories are seen as the D-accessible categories where D consists of the λ-small categories. A small category C is called D-filtered when C-colimits commute with D-limits in the category of sets. An object of a catego...

متن کامل

Final coalgebras in accessible categories

We give conditions on a finitary endofunctor of a finitely accessible category to admit a final coalgebra. Our conditions always apply to the case of a finitary endofunctor of a locally finitely presentable (l.f.p.) category and they bring an explicit construction of the final coalgebra in this case. On the other hand, there are interesting examples of final coalgebras beyond the realm of l.f.p...

متن کامل

Accessible Categories and Homotopy Theory

Definition 1.1. A weak factorization system (L,R) in a category K consists of two classes L and R of morphisms of K such that (1) R = L , L = R and (2) any morphism h of K has a factorization h = gf with f ∈ L and g ∈ R. Definition 1.2. A model category is a complete and cocomplete category K together with three classes of morphisms F , C and W called fibrations, cofibrations and weak equivalen...

متن کامل

Covers in finitely accessible categories

We show that in a finitely accessible additive category every class of objects closed under direct limits and pure epimorphic images is covering. In particular, the classes of flat objects in a locally finitely presented additive category and of absolutely pure objects in a locally coherent category are covering.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Pure and Applied Algebra

سال: 2024

ISSN: ['1873-1376', '0022-4049']

DOI: https://doi.org/10.1016/j.jpaa.2023.107444